1. A handbook of model categories
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Model categories (Mathematics) ;
2. Accessible categories: the foundations of categorical model theory
پدیدآورنده : Makkai, Michael
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M35
1989
3. Accessible categories : the foundations of categorical model theory
پدیدآورنده : Makkai, Mihaly, 9391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M25
4. First order categorical logic : model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M3
1977
5. First order categorical logic: model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
6. First order categorical logic: model-theorical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
7. Forcing and classifying topoi /
پدیدآورنده : Andrej Sčědrov
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Forcing (Model theory),Toposes
رده :
QA169
.
A57
no
.
295
8. Logic Colloquium '82 :
پدیدآورنده : edited by G. Lolli, G. Longo, and A. Marcja
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
رده :
QA9
.
7
.
L64
1982
9. Model categories
پدیدآورنده : Mark Hovey
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Model categories )Mathematics(,Homotopy theory,Complexes
رده :
QA
169
.
H68
1999
10. Model categories
پدیدآورنده : Hovey, Mark
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Model categories )Mathematics(,، Homotopy theory,، Complexes
رده :
QA
169
.
H68
1991
11. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip S. )Philip Steven(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
12. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip Steven
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
13. Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai
پدیدآورنده : Bradd Hart ... ]et al.[, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Model theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
7
.
M67
14. Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
پدیدآورنده : Ghilardi, Silvio
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Categories )Mathematics(,، Proposition )Logic(,، Model theory
رده :
QA
169
.
G474S5
15. Uncountably categorical theories
پدیدآورنده : Zilber, Boris
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Completeness theorem
رده :
QA
9
.
7
.
Z513